Cortical suspensory endobutton versus aperture interference screw fixation for arthroscopic anterior cruciate ligament reconstruction using hamstring graft: a prospective study

Background: Anterior cruciate ligament injury is a common injury which occurs in sports with an annual incidence of 68.6% per 100,000 population. Anatomic arthroscopic reconstruction remains the main stay treatment of ACL injury. Fixation of graft is classified as direct and indirect. To compare the stability of knee joint, complications in arthroscopic anterior cruciate ligament reconstruction by aperture interference screw fixation versus suspensory device fixation in femur. Methods: The randomized control study was conducted in department of orthopedics, The Oxford Medical College Hospital and RC from 2020-2021. 30 knees were operated, Ethical clearance taken and patient is followed up for six months. Results: The preoperative Tegner Lysholm knee score was poor in both groups. Post-op in interference screw group, 12 patients 80% had excellent functional outcome, 3 patients 20% had good outcome. In the Endbutton group, 11 patients (73%) had excellent outcome while 4 patients (27%) had good outcome. Conclusions: Suspensory device fixation gives equivalent results when compared to aperture screw fixation. complications of screw fixation were graft rupture cyst formation; complications of suspensory devices were loosening of graft and bungee cord effect. Hence, Both the techniques showed no statistical difference in post operative outcome

The Experience of International Students and Institutional Recommendations: A Comparison Between the Students From the Developing and Developed Regions

Prior studies on the experiences of international students in China have mostly focused on their academic, sociocultural, and accommodation experiences. Hence, student health and safety, discrimination, and the services by the International Student Office (ISO) have remained unexplored. Moreover, due to the motivational differences between the students from developing and developed regions, a study that samples students from both regions may depict an exact picture of the experience of international students. Therefore, the objective of this study is to examine the influence of the dimensions (including those dimensions that have been ignored) of the experience of international students on their satisfaction. In addition, we make recommendations regarding Chinese institutes for future students based on a comparison between the students from developing and developed regions. Using hierarchical regression analysis, this study reveals that educational and non-educational experiences vary among students from different regions. Therefore, based on developing (e.g., Asia and Africa) and developed (e.g., America, Europe, and Australia) regions, important recommendations are discussed regarding how educational institutions and the Chinese government could best allocate resources and introduce policies to improve the experience of international students

Sequentializing Parameterized Programs

We exhibit assertion-preserving (reachability preserving) transformations from parameterized concurrent shared-memory programs, under a k-round scheduling of processes, to sequential programs. The salient feature of the sequential program is that it tracks the local variables of only one thread at any point, and uses only O(k) copies of shared variables (it does not use extra counters, not even one counter to keep track of the number of threads). Sequentialization is achieved using the concept of a linear interface that captures the effect an unbounded block of processes have on the shared state in a k-round schedule. Our transformation utilizes linear interfaces to sequentialize the program, and to ensure the sequential program explores only reachable states and preserves local invariants.Comment: In Proceedings FIT 2012, arXiv:1207.348

GPUVerify: A Verifier for GPU Kernels

We present a technique for verifying race- and divergence-freedom of GPU kernels that are written in mainstream ker-nel programming languages such as OpenCL and CUDA. Our approach is founded on a novel formal operational se-mantics for GPU programming termed synchronous, delayed visibility (SDV) semantics. The SDV semantics provides a precise definition of barrier divergence in GPU kernels and allows kernel verification to be reduced to analysis of a sequential program, thereby completely avoiding the need to reason about thread interleavings, and allowing existing modular techniques for program verification to be leveraged. We describe an efficient encoding for data race detection and propose a method for automatically inferring loop invari-ants required for verification. We have implemented these techniques as a practical verification tool, GPUVerify, which can be applied directly to OpenCL and CUDA source code. We evaluate GPUVerify with respect to a set of 163 kernels drawn from public and commercial sources. Our evaluation demonstrates that GPUVerify is capable of efficient, auto-matic verification of a large number of real-world kernels

On the Completeness of Verifying Message Passing Programs under Bounded Asynchrony

We address the problem of verifying message passing programs, defined as a set of parallel processes communicating through unbounded FIFO buffers. We introduce a bounded analysis that explores a special type of computations, called k-synchronous. These computations can be viewed as (unbounded) sequences of interaction phases, each phase allowing at most k send actions (by different processes), followed by a sequence of receives corresponding to sends in the same phase. We give a procedure for deciding k-synchronizability of a program, i.e., whether every computation is equivalent (has the same happens-before relation) to one of its k-synchronous computations. We also show that reachability over k-synchronous computations and checking k-synchronizability are both PSPACE-complete. Furthermore, we introduce a class of programs called {\em flow-bounded} for which the problem of deciding whether there exists a k>0 for which the program is k-synchronizable, is decidable

Effect of nicotinamide on the photolysis of riboflavin in aqueous solution

The photolysis of riboflavin (RF) in aqueous solution in the presence of nicotinamide (NA) by visible light has been studied in the pH range 1.0–12.0 and the various photoproducts have been identified as known compounds. RF has been determined in degraded solutions by a specific multicomponent spectrometric method in the presence of its photoproducts and N

Signature of Y-forking in ionogram traces observed at low-mid latitude Indian station, New Delhi, during the earthquake events of 2020: ionosonde observations

We have examined ionospheric response to eleven earthquake events measuring less than four on the Richter scale during the year 2020 that occurred in the vicinity of New Delhi (28.6°N, 77.2°E, 42.4°N dip). We have used ionogram traces, manually scaled critical ionospheric layer parameters using SAO explorer obtained from Digisonde along with the O(1D) airglow observations from a multi-wavelength all-sky airglow imager installed at Hanle, Ladakh, India (32.7°N, 78.9°E, 24.1°N dip). Perceptible ionospheric perturbations 2–9 days prior to these earthquake events resulting in more than 250% variation in electron density are observed. We found distortion of ionogram trace in the form of Y forking majorly at New Delhi on the precursor day and after the earthquake event. Traces of Y forked ionograms were also observed at Ahmedabad (23°N, 72°E, 15°N dip) and Trivandrum (8.5°N, 76.9°E, 0.5°N dip). These Y-forked ionograms are one of the first observations during any earthquake events and are looked at as a signature of Travelling Ionospheric Disturbances (TIDs)

'I once wore an angry bird t-shirt and went to read Qur’an': asymmetrical institutional complexity and emerging consumption practices in Pakistan

This article brings together theories of institutional logics and the exploration of the lives of tweens in Pakistan to understand how emerging consumption practices fit within Pakistani children’s daily lives, and how institutional complexity that includes the dominance of religion under Pakistani Islamization is negotiated to separate and maintain the differences between them. We identify resolutions to asymmetrical institutional complexity in the consumption of character T-shirts: spatial–temporal practices, visual practices, symbolic substitution practices and single logic practices. We contribute to an understanding of how consumption happens in an Eastern Muslim culture, and how multiple institutional logics shape the consumption practices of children, by articulating how halal consumption practices, far from being essentialist, or presented as market segmentation, form from negotiations and reflections at the boundaries where Islam and Market logics meet

Reasoning about Threads with Bounded Lock Chains

The problem of model checking threads interacting purely via the standard synchronization primitives is key for many concurrent program analyses, particularly dataflow analysis. Unfortunately, it is undecidable even for the most commonly used synchronization primitive, i.e., mutex locks. Lock usage in concurrent programs can be characterized in terms of lock chains, where a sequence of mutex locks is said to be chained if the scopes of adjacent (non-nested) mutexes overlap. Although the model checking problem for fragments of Linear Temporal Logic (LTL) is known to be decidable for threads interacting via nested locks, i.e., chains of length one, these techniques don’t extend to pro-grams with non-nested locks used in crucial applications like databases and device drivers. We exploit the fact that lock usage patterns in real life programs do not produce unbounded lock chains. For such a framework, we show, by using the new concept of Lock Causality Automata (LCA), that pre∗-closures of regular sets of states can be computed efficiently. Leveraging this new technique then allows us to formulate decision procedures for model checking threads communicating via bounded lock chains for fragments of LTL. Our new results narrow the decidability gap for LTL model checking of threads communicating via locks by pro-viding a more refined characterization for it in terms of boundedness of lock chains rather than the current state-of-the-art, i.e., nestedness of locks (chains of length one).

High use of private providers for first healthcare seeking by drug-resistant tuberculosis patients: a cross-sectional study in Yangon, Myanmar.

BACKGROUND: Drug resistance is a growing challenge to tuberculosis (TB) control worldwide, but particularly salient to countries such as Myanmar, where the health system is fragmented across the public and private sector. A recent systematic review has identified a critical lack of evidence for local policymaking, particularly in relation to drivers of drug-resistance that could be the target of preventative efforts. To address this gap from a health systems perspective, our study investigates the healthcare-seeking behavior and preferences of recently diagnosed patients with drug-resistant tuberculosis (DR-TB), focusing on the use of private versus public healthcare providers. METHODS: The study was conducted in ten townships across Yangon with high DR-TB burden. Patients newly-diagnosed with DR-TB by GeneXpert were enrolled, and data on healthcare-seeking behavior and socio-economic characteristics were collected from patient records and interviews. A descriptive analysis of healthcare-seeking behavior was followed by the investigation of relationships between socio-economic factors and type of provider visited upon first feeling unwell, through univariate logistic regressions. RESULTS: Of 202 participants, only 8% reported first seeking care at public facilities, while 88% reported seeking care at private facilities upon first feeling unwell. Participants aged 25-34 (Odds Ratio = 0.33 [0.12-0.95]) and males (Odds Ratio = 0.39 [0.20-0.75]) were less likely to visit a private clinic or hospital than those aged 18-24 and females, respectively. In contrast, participants with higher income were more likely to utilize private providers. Prior to DR-TB diagnosis, 86% of participants took medications from private providers. After DR-TB diagnosis, only 7% of participants continued to take medications from private providers. CONCLUSION: In urban Myanmar, most patients shifted to being managed exclusively in the public sector after being formally diagnosed with DR-TB. However, since the vast majority of DR-TB patients first visited private providers in the period leading to diagnosis, related issues such as unregulated quality of care, potential delays to diagnosis, and lack of care continuity may greatly influence the emergence of drug-resistance. A greater understanding of the health system and these healthcare-seeking behaviors may simultaneously strengthen TB control programmes and reduce government and out-of-pocket expenditures on the management of DR-TB